java textdatei erstellen und bearbeiten